Group completing monoidal categories

نویسندگان

چکیده

برای دانلود باید عضویت طلایی داشته باشید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Monoidal Model Categories

A monoidal model category is a model category with a closed monoidal structure which is compatible with the model structure. Given a monoidal model category, we consider the homotopy theory of modules over a given monoid and the homotopy theory of monoids. We make minimal assumptions on our model categories; our results therefore are more general, yet weaker, than the results of [SS97]. In part...

متن کامل

Traced pre-monoidal categories

Motivated by some examples from functional programming, we propose a generalisation of the notion of trace to symmetric premonoidal categories and of Conway operators to Freyd categories. We show that, in a Freyd category, these notions are equivalent, generalising a well-known theorem of Hasegawa and Hyland.

متن کامل

Autonomization of Monoidal Categories

We define the free autonomous category generated by a monoidal category and study some of its properties. From a linguistic perspective, this expands the range of possible models of meaning within the distributional compositional framework, by allowing nonlinearities in maps. From a categorical point of view, this provides a factorization of the construction in [Preller and Lambek, 2007] of the...

متن کامل

Monoidal categories and multiextensions

We associate to a group-like monoidal groupoid C a principal bundle E satisfying most of the axioms defining a biextension. The obstruction to the existence of a genuine biextension structure on E is exhibited. When this obstruction vanishes, the biextension E is alternating, and a trivialization of E induces a trivialization of C. The analogous theory for monoidal n-categories is also examined...

متن کامل

On Involutive Monoidal Categories

In this paper, we consider a non-posetal analogue of the notion of involutive quantale [MP92]; specifically, a (planar) monoidal category equipped with a covariant involution that reverses the order of tensoring. We study the coherence issues that inevitably result when passing from posets to categories; we also link our subject with other notions already in the literature, such as balanced mon...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ژورنال

عنوان ژورنال: Journal of Algebra

سال: 1975

ISSN: 0021-8693

DOI: 10.1016/0021-8693(75)90080-0